#include "syscall.h"

#define NB_FORK 12

int main() {
  int i;
  for (i = 0; i < NB_FORK; i++) {
    ForkExec("test/userpages1");
    ForkExec("test/userpages2");
  }
}